COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Mr. Chin-Chyuan Chen
C00003 ENDMK
C⊗;
Mr. Chin-Chyuan Chen
Institute of Applied Mathematics
National Cheng-Kung University
Tainan, Taiwan 700
R.O.C.

Dear Mr. Chen:

	Thank you for your letter of January 14.

	Formulas (20) and (21) have a major misprint.  The first
occurrence of  ∧  in each formula should have been  ≡.  Even so,
it now seems to me that I didn't make my intent quite clear.  It
would have been better to have written

"The domain circumscription of the sentence  A  is the sentence
Axiom(phi)  defined by

(20)	A↑phi ⊃ ∀x.phi(x).

where ... "

and